English computational logic: tłumaczenie na inne języki